Dissertation Abstract: Numeric Planning
نویسنده
چکیده
Planning is the art to automatically find solutions to problems where a model of the world is described in terms of variables and actions. A solution to such a planning problem is a sequence of actions (called plan) transforming the initial situation to a state that satisfies a goal description. In classical planning, the world is described by Boolean variables and the field is well studied with eminent advances of the state of the art in the last decades. However, classical planning is not expressive enough, e.g. for many interesting real-world applications that rely on numeric quantities. Therefore, we contemplate on numeric planning in this dissertation.
منابع مشابه
Dissertation Abstract: SAT/SMT techniques for planning problems
Although a lot of work has been devoted to the encoding of planning tasks to propositional logic, only a few works can be found in the literature on satisfiability based approaches to planning in domains that require numeric reasoning. This is probably due to the difficulty of efficiently handling at the same time numeric constraints and propositional formulas. Surprisingly, satisfiability modu...
متن کاملDissertation Abstract: Sat/smt Techniques for Planning Problems
Although a lot of work has been devoted to the encoding of planning tasks to propositional logic, only a few works can be found in the literature on satisfiability based approaches to planning in domains that require numeric reasoning. This is probably due to the difficulty of efficiently handling at the same time numeric constraints and propositional formulas. Surprisingly, satisfiability modu...
متن کاملNumeric Planning via Abstraction and Policy Guided Search
The real-world application of planning techniques often requires models with numeric fluents. However, these fluents are not directly supported by most planners and heuristics. We describe a family of planning algorithms that takes a numeric planning problem and produces an abstracted representation that can be solved using any classical planner. The resulting abstract plan is generalized into ...
متن کاملExploring the relationship between knowledge and anchoring effects: is the type of knowledge important?
Exploring the relationship between knowledge and anchoring effects: is the type of knowledge important?. 1 ABSTRACT Numeric estimates are influenced by a variety of factors including a person's knowledge and the presence of numeric anchors. In general, greater knowledge leads to more accurate estimates and the presence of anchors decreases accuracy. This dissertation is focused on the relations...
متن کاملNumeric Planning via Search Space Abstraction (Extended Abstract)
ion for Numeric Planning The basic mechanism behind our abstraction is to define propositional fluents that represent specific intervals of the Copyright c © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. real numbers, aggregating together states in which numeric fluents fall within the same intervals. We select intervals to preserve distin...
متن کامل